TEST_FILES := $(TEST_DIR)/top.sv
TOP_MODULE := top
# Work around Surelog bug, works only for this simple test
#SURELOG_FLAGS := -elabuhdm
